Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
371	Current Status and Future Trends in Data Centric Science Prof. Yike Guo Director， Data Science Institute Imperial College London Add to Reading List Source URL: www.rois.ac.jp Language: English - Date: 2015-03-24 22:23:50 Biology Technology Emerging technologies Formal sciences Systems biology Geographic information system Metabolomics Big data Proteomics Bioinformatics Genomics Science
372	The Conflict Analysis Group Keith W. Hipel, Group Coordinator Department of Systems Design Engineering University of Waterloo Waterloo, Ontario, N2L 3G1, Canada E-mail: Add to Reading List Source URL: www.cors.ca Language: English - Date: 2014-12-10 12:15:14 Knowledge Decision theory Conflict management Ethnic conflict Conflict resolution Game theory Decision support system Scientific modelling Cybernetics Science Formal sciences Ethology
373	Languages and states (another view of “Why”) Cliff Jones Newcastle University Menu Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Proof theory Formal systems Computational complexity theory Theorems Mathematical proof Conjecture Proof Logic Mathematics Mathematical logic
374	Software Process Improvement in Web Time1 Karl E. Wiegers Process Impact www.processimpact.com Much of the software process improvement literature describes how large corporations and government contractors have changed Add to Reading List Source URL: www.processimpact.com Language: English - Date: 2010-06-21 13:40:57 Project management Systems engineering Software project management Formal methods Software development process Systems engineering process Capability Maturity Model Software engineering Project manager Software development Management Business
375	Synchronisation and Delay in a Formal Model of User Cognition1 D. Duke, G. Faconti and M. Massink Department of Computer Science, University of York, Heslington, York, YO1 5DD, U.K. email: C.N.R. Add to Reading List Source URL: ui4all.ics.forth.gr Language: English - Date: 2007-11-27 14:03:36 Systems science Science Systems engineering Knowledge Academia Systems theory Cybernetics System
376	CS109B Notes for LectureAutomata Systems often may be modeled by a nite set of states. The system is always in one state. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:51 Formal methods Powerset construction Finite-state machine Nondeterministic finite automaton Automata theory Theoretical computer science Computer science
377	c 2009 International Press COMMUNICATIONS IN INFORMATION AND SYSTEMS Vol. 9, No. 3, pp, 2009 Add to Reading List Source URL: www.ims.cuhk.edu.hk Language: English - Date: 2009-11-16 18:53:14 Science Computational phylogenetics Computing Pattern matching String Substring Regular expression Multiple sequence alignment Nucleic acid sequence Mathematics Bioinformatics Formal languages
378	Intelligent Support for Systems Verification Werner Stephan, Lassaad Cheikhrouhou, Bruno Langenstein German Research Centre for Artificial Intelligence April 29, 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Knowledge Mathematical proof Heuristic Formal specification Logic Automated theorem proving Formal methods Mathematics Problem solving
379	In Europe, efforts are being made to promote a datadriven economy that will contribute to the well-being of citizens as well as to new business opportunities and more innovative public services. Big Data in the European Add to Reading List Source URL: www.biblacad.ro Language: English - Date: 2015-01-05 02:52:56 Data management Formal sciences Decision theory Information systems Analytics Decision support system ADAPA Big data OpenForum Europe Business intelligence Technology Science
380	SOLUTION BRIEF Identifying Fraud, Managing Risk and Improving Compliance in Financial Services DATAMEER CORPORATION WEBSITE Add to Reading List Source URL: www.cloudera.com Language: English - Date: 2015-04-04 02:58:34 Technology Data management Cloud infrastructure Formal sciences Database management systems Datameer Apache Hadoop Cloudera ADAPA Computing Cloud computing Business intelligence

UPDATE